TSTP Solution File: SYN988^2 by DCTP---1.31